UAV Swarms Behavior Modeling Using Tracking Bigraphical Reactive Systems
نویسندگان
چکیده
منابع مشابه
Bigraphical Reactive Systems Based Approaches for Modeling Context-Aware Systems
In the past few years, context-aware computing has become one of the most promising topics of ubiquitous (pervasive) computing where computers are integrated and vanish in the background of users everyday activities. A context-aware system is a ubiquitous system, which is able to adapt its behavior automatically according to the gathered context information. However, due to the increasing compl...
متن کاملBigraphical reactive systems: basic theory
A notion of bigraph is proposed as the basis for a model of mobile interaction. A bigraph consists of two independent structures: a topograph representing locality and a monograph representing connectivity. Bigraphs are equipped with reaction rules to form bigraphical reactive systems (BRSs), which include versions of the -calculus and the ambient calculus. Bigraphs are shown to be a special ca...
متن کاملDeriving Barbed Bisimulations for Bigraphical Reactive Systems
We study the definition of a general abstract notion of barbed bisimilarity for reactive systems on bigraphs. More precisely, given a bigraphical reactive system, we define the corresponding barbs from the contextual labels given by the IPO construction, in a general and systematic way. These barbs correspond to observe which names on the interface are actually involved in reactions (and how). ...
متن کاملDistributed execution of bigraphical reactive systems
The bigraph embedding problem is crucial for many results and tools about bigraphs and bigraphical reactive systems (BRS). Current algorithms for computing bigraphical embeddings are centralized, i.e. designed to run locally with a complete view of the guest and host bigraphs. In order to deal with large bigraphs, and to parallelize reactions, we present a decentralized algorithm, which distrib...
متن کاملDevelopment of Micro UAV Swarms
Some complex application scenarios for micro UAVs (Unmanned Aerial Vehicles) call for the formation of swarms of multiple drones. In this paper a platform for the creation of such swarms is presented. It consists of modified commercial quadrocopters and a self-made ground control station software architecture. Autonomy of individual drones is generated through a micro controller equipped video ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Sensors
سال: 2021
ISSN: 1424-8220
DOI: 10.3390/s21020622